Opening the Sensornet Black Box Jung Il Choi, Jung Woo Lee, Megan Wachs, and Philip Levis Computer Systems Laboratory Stanford University Stanford, CA 94305

Source URL: sing.stanford.edu

• Computing
• Network architecture
• Wireless networking
• OSI protocols
• IEEE 802.11
• Wireless sensor network
• Collection Tree Protocol
• Carrier sense multiple access with collision avoidance
• Data link layer
• Ethernet
• Conference on Embedded Networked Sensor Systems
• Transport layer

Are the Digits of Pi Random? David H. Bailey http://www.davidhbailey.com Lawrence Berkeley National Laboratory (retired) Computer Science Department, University of California, Davis

Source URL: www.davidhbailey.com

Stopping Outgoing Spam by Examining Incoming Server Logs Richard Clayton Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge, CB3 0FD, U.K.

Source URL: ceas.cc

Equideductive Logic and CCCs with Subspaces Paul Taylor Computer Laboratory University of Cambridge

Source URL: www.paultaylor.eu

• Logic
• Theoretical computer science
• Mathematical logic
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Symbol
• General topology
• Cartesian closed category
• Lambda calculus

Alan Guo Contact Information Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology

Source URL: people.csail.mit.edu

On Symmetric Circuits and FPC Anuj Dawar University of Cambridge Computer Laboratory joint work with Matthew Anderson

Source URL: highlights-conference.org

• Complexity classes
• Theory of computation
• Theoretical computer science
• Circuit complexity
• Computational complexity theory
• Computer science
• Boolean circuit
• Logic in computer science
• NC
• P
• Circuit
• FO

Super-Scalar Processor Design William M. Johnson Technical Report No. CSL-TRJune 1989 Computer Systems Laboratory Departments of Electrical Engineering and Computer Science

Source URL: vlsiweb.stanford.edu

AA Staff KMS Training Notes Updated: Overview of the day’s schedule and attendee introductions Part I - TCSG Links: www.tcsg.edu

Source URL: teched.tcsg.edu

• Software engineering
• Computing
• Computer programming
• APL programming language family
• Technical College System of Georgia
• IBM software
• KMS
• APL
• International Federation of Clinical Chemistry and Laboratory Medicine
• Cdb

Jamming-resistant Key Establishment using Uncoordinated Frequency Hopping Mario Strasser∗ Computer Eng. and Networks Laboratory ETH Zurich, Switzerland

Source URL: www.poepper.net

Towards a UbiSafe Environment Using Rules Tope Omitola, University of Cambridge, Computer Laboratory, Abstract • creation of new applications and codes in the

Source URL: 2006.ruleml.org